unbounded quantifier

[计] 无界量词